Cairn Docs Claims Blog Packages

Claim ยท cairn_examples 0.1.1

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

An invariant of cairn_examples 0.1.1.

Id
cairn_examples^213
Kind
invariant
Reads as
retired
Version
0.1.1

All of cairn_examples 0.1.1'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
Todo
Source
lean/Todo.lean:207 at v0.1.1
Statement hash
-

Ledger

cairn_examples^213 is retired in this version's claims.lock. An id never moves or changes meaning.