Theorem Right.sign_neg

Modification history

2024-10-24 21:25

Mathlib/Data/Sign.lean

feat: use aliases for `CovariantClass α α (· * ·) (· ≤ ·)` etc (#13154)

Modified Right.sign_neg View on Github →

2023-01-31 12:38

Mathlib/Data/Sign.lean

feat: port Data.Sign (#1744) …

Added Right.sign_neg View on Github →