Theorem sign_sum

Modification history

2023-08-10 19:52

Mathlib/Data/Sign.lean

chore: banish `Type _` and `Sort _` (#6499) …

Modified sign_sum View on Github →

2023-01-31 12:38

Mathlib/Data/Sign.lean

feat: port Data.Sign (#1744) …

Added sign_sum View on Github →