Theorem IsSquare.sq

Modification history

2024-12-28 03:20
Mathlib/Algebra/Group/Even.lean
chore(Algebra): rename theorems for consistency (#20271) …
Added IsSquare.sqView on Github →