Eleven canonical Declaration Cards are bound to the MathlibAnnex v0.2.0 source release. Availability and publication history are recorded by the hosting release.
Exact Card identity binding · Project presentation binding · Accepted whole-library Catalog projection
The effective Exact Mathematics content terms apply to LFH content. Lean source and third-party assets retain their own terms.