Cairn Docs Claims Blog Packages

Claim ยท cairn 0.2.2

cairn^213 The list is the filter applied to the todos

An invariant of cairn 0.2.2.

Id
cairn^213
Kind
invariant
Reads as
retired
Version
0.2.2

All of cairn 0.2.2's claims

Evidence

retired Reissued as ^225 with the same meaning: Style gained its image field (Cairn 0.2.0), which changed the statement's hash, and a published claim keeps its statement.

Where it's defined

Declaration
Examples.Todo.retired_213
Module
Examples.Todo
Source
lean/Examples/Todo.lean:208 at v0.2.2
Statement hash
-

Ledger

cairn^213 is retired in this version's claims.lock, statement cdded3b5839c217c. An id never moves or changes meaning.