Def CategoryTheory.MorphismProperty.TransfiniteCompositionOfShape.ofOrderIso

Modification history

2025-02-08 20:24
Mathlib/CategoryTheory/MorphismProperty/TransfiniteComposition.lean
refactor(CategoryTheory): a structure describing transfinite compositions (#21417) …
Added CategoryTheory.MorphismProperty.TransfiniteCompositionOfShape.ofOrderIsoView on Github →