Structure PreOpposite

Modification history

2024-04-05 17:00

Mathlib/Algebra/Opposites.lean

chore: Homogenise instances for `MulOpposite`/`AddOpposite` (#11485) …

Modified PreOpposite View on Github →

2023-05-23 20:29

Mathlib/Algebra/Opposites.lean

refactor: make MulOpposite = AddOpposite (#4050) …

Added PreOpposite View on Github →