Mathlib Changelog
v4
Changelog
About
Github
Theorem
MagmaCat.hom_ofHom
Modification history
2025-07-25 21:58
Mathlib/Algebra/Category/Semigrp/Basic.lean
chore: fix more indentation (#27491) …
Modified
MagmaCat.hom_ofHom
View on Github →
2025-02-03 16:47
Mathlib/Algebra/Category/Semigrp/Basic.lean
feat(Algebra/Category): `ConcreteCategory` instance for `Semigrp` (#21368) …
Added
MagmaCat.hom_ofHom
View on Github →