Theorem IsSquare.sq

Modification history

2025-01-23 11:42

Mathlib/Algebra/Group/Even.lean

chore(Algebra/Group/Even): Clean up file (#20558) …

Modified IsSquare.sq View on Github →

2024-12-28 03:20

Mathlib/Algebra/Group/Even.lean

chore(Algebra): rename theorems for consistency (#20271) …

Added IsSquare.sq View on Github →