¶Document tag

#conjectures

1 document indexed here. Formal results, specifications, proofs, registries, and other ways the material is written.