Mathlib Changelog
v4
Changelog
About
Github
Theorem
homotopyEquivalences_le_quasiIso
Modification history
2024-05-01 07:53
Mathlib/Algebra/Homology/QuasiIso.lean
chore(CategoryTheory/MorphismProperty): Use le instead of subset (#12520)
Added
homotopyEquivalences_le_quasiIso
View on Github →