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