Mathlib Changelog
v4
Changelog
About
Github
Commit
2023-03-09 10:11
69108c78
View on Github →
feat: port CategoryTheory.ConcreteCategory.ReflectsIsomorphisms (
#2739
)
Estimated changes
Modified
Mathlib.lean
Created
Mathlib/CategoryTheory/ConcreteCategory/ReflectsIso.lean
added
theorem
CategoryTheory.reflectsIsomorphisms_forget₂