λEnter Calculus CompanionRegistered manuscripts, kept distinct

Manuscript Oai280-A@1 · Oai280-A.tex · section · 27038823

Artifact and catalogue provenance

Stage 0: the correspondence as a documentary record › Artifact and catalogue provenance · lines 389–398

Back to manuscript

The supplied scope note names .lean for Family 280-01 only Dossier. Its contents and a successful checker execution are not supplied as evidence here. A filename and a scope note do not verify Record record:correspondence or Record record:extensions.