Commit 2023-02-16 08:49 a4329812

View on Github →

feat: port CategoryTheory.Balanced (#2313)

Estimated changes

Modified Mathlib.lean

Created Mathlib/CategoryTheory/Balanced.lean

added theorem CategoryTheory.balanced_opposite

added theorem CategoryTheory.isIso_iff_mono_and_epi

added theorem CategoryTheory.isIso_of_mono_of_epi