`IndisputableMonolith.Foundation.PrimitiveRecognitionCalculus.Factorization`

IndisputableMonolith/Foundation/PrimitiveRecognitionCalculus/Factorization.lean · 9 lines · 0 declarations

Explainer status: pending

   1/-
   2  PrimitiveRecognitionCalculus/Factorization.lean
   3
   4  Public import surface for the δ-native factorization and finite character
   5  theory lane.
   6-/
   7
   8import IndisputableMonolith.Foundation.PrimitiveRecognitionCalculus.Factorization.MasterCertificate
   9

source mirrored from github.com/jonwashburn/shape-of-logic