Theorem SignType.pow_odd

Modification history

2025-07-24 08:42

Mathlib/Data/Sign.lean

chore: split `Data.Sign` (#27232) …

Modified SignType.pow_odd View on Github →

2025-06-28 23:55

Mathlib/Data/Sign.lean

feat(Data/Sign): even and odd powers (#26495) …

Added SignType.pow_odd View on Github →