Theorem CategoryTheory.MorphismProperty.LeftFraction₂Rel.snd

Modification history

2024-07-31 03:44

Mathlib/CategoryTheory/Localization/CalculusOfFractions/Fractions.lean

chore: backports for leanprover/lean4#4814 (part 9) (#15352) …

Modified CategoryTheory.MorphismProperty.LeftFraction₂Rel.snd View on Github →

2024-04-18 01:19

Mathlib/CategoryTheory/Localization/CalculusOfFractions/Fractions.lean

feat(CategoryTheory): more lemmas for the calculus of fractions (#11737) …

Added CategoryTheory.MorphismProperty.LeftFraction₂Rel.snd View on Github →