Theorem Opposite.op_injective

Modification history

2023-04-18 01:37
Mathlib/Data/Opposite.lean
chore: made Opposite a structure (#3193) …
Modified Opposite.op_injectiveView on Github →
2022-11-20 06:29
Mathlib/Data/Opposite.lean
port: Data.Opposite (#650) …
Added Opposite.op_injectiveView on Github →