Registry · Proposition II.P12 established formalized

II.P12 — Enrichment Iteration

Enrichment Iteration

Book II Part 8 Ch. 44

Dependency Graph

Depends on (5)

Depended on by (2)

Lean Formalization

Module: TauLib.BookII.Enrichment.TwoCategories

Symbol: Tau.BookII.Enrichment.enrichment_iteration_check