Mathlib Changelog
Changelog
About
Github
Commit
2021-04-09 03:28
29b834df
View on Github →
feat(category_theory, algebra/category): AddCommGroup is well-powered (
#7006
)
Estimated changes
Created
src/algebra/category/Group/subobject.lean
Modified
src/category_theory/subobject/mono_over.lean
added
def
category_theory.mono_over.congr
added
theorem
category_theory.mono_over.lift_obj_arrow
modified
def
category_theory.mono_over.map_iso
Modified
src/category_theory/subobject/well_powered.lean
added
theorem
category_theory.well_powered_congr
added
theorem
category_theory.well_powered_of_equiv