Def Opposite.unop

Modification history

2023-04-18 01:37

Mathlib/Data/Opposite.lean

chore: made Opposite a structure (#3193) …

Deleted Opposite.unop View on Github →

2022-11-20 06:29

Mathlib/Data/Opposite.lean

port: Data.Opposite (#650) …

Added Opposite.unop View on Github →