Theorem sign_pow

Modification history

2023-02-28 07:22

Mathlib/Data/Sign.lean

feat: port Data.Real.EReal (#2501)

Modified sign_pow View on Github →

2023-01-31 12:38

Mathlib/Data/Sign.lean

feat: port Data.Sign (#1744) …

Added sign_pow View on Github →