somamaley-ux/non-degenerate-construction-kernel-admissibility: Kernel Reference v0.3.0 — Constructed necessity and exact realization
v0.3.0 — Constructed necessity and exact original realization Lean companion to the v51 reference edition of Non-Degenerate Construction and the Kernel of Admissibility. This release checks the mathematical necessity chain developed around Proposition 2.4. Independently specified original subjects, complete uses, depen...