Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Theorem
Group.surjective_of_epi_auxs.τ_apply_from_coset'
Modification history
2022-07-19 03:29
src/algebra/category/Group/epi_mono.lean
feat(algebra/category_theory/Group/epi_mono): about monomorphism and epimorphism in category of group (#14720) …
Added
Group.surjective_of_epi_auxs.τ_apply_from_coset'
View on Github →