Claim ยท cairn 0.5.1
cairn^510 Tiles fit the window at every size
An invariant of cairn 0.5.1.
- Id
cairn^510- Kind
- invariant
- Reads as
- moved
- Version
- 0.5.1
Evidence
moved Now cairn_examples^510. The id stays issued here and can't come back.
Ledger
cairn^510 is moved:cairn_examples in this version's claims.lock, statement 4b77d8ad02a81eb4. An id never moves or changes meaning.