Theorem SignType.coe_pow

Modification history

2025-07-24 08:42

Mathlib/Data/Sign.lean

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

Modified SignType.coe_pow View on Github →

2023-12-15 14:16

Mathlib/Data/Sign.lean

feat(Data/Sign): add missing API lemmas (#9074) …

Added SignType.coe_pow View on Github →