Mathlib Changelog
v4
Changelog
About
Github
Def
Opposite
Modification history
2023-04-18 01:37
Mathlib/Data/Opposite.lean
chore: made Opposite a structure (#3193) …
Deleted
Opposite
View on Github →
2022-11-20 06:29
Mathlib/Data/Opposite.lean
port: Data.Opposite (#650) …
Added
Opposite
View on Github →