Mathlib Changelog
v4
Changelog
About
Github
Theorem
Con.ker_apply
Modification history
2023-07-26 09:26
Mathlib/GroupTheory/Congruence.lean
chore: fix some `Set` defeq abuse, golf (#6114) …
Added
Con.ker_apply
View on Github →