Mathlib Changelog
v4
Changelog
About
Github
Theorem
IsSquare.one
Modification history
2024-12-28 03:20
Mathlib/Algebra/Group/Even.lean
chore(Algebra): rename theorems for consistency (#20271) …
Added
IsSquare.one
View on Github →