Mathlib Changelog
v4
Changelog
About
Github
Theorem
Prod.div_def
Modification history
2025-03-10 06:24
Mathlib/Algebra/Group/Prod.lean
chore(Algebra/Group/Prod): move notation to a new file (#22567)
Modified
Prod.div_def
View on Github →
2024-11-25 15:32
Mathlib/Algebra/Group/Prod.lean
feat: vertical line test for functions, group homs, linear maps (#18822) …
Added
Prod.div_def
View on Github →