Theorem IsSquare.mul_self

Modification history

2025-01-23 11:42
Mathlib/Algebra/Group/Even.lean
chore(Algebra/Group/Even): Clean up file (#20558) …
Modified IsSquare.mul_selfView on Github →
2024-12-21 11:20
Mathlib/Algebra/Group/Even.lean
chore: rename theorems for consistency (#20127) …
Added IsSquare.mul_selfView on Github →