Theorem Opposite.unop_eq_iff_eq_op

Modification history

2022-11-20 06:29
Mathlib/Data/Opposite.lean
port: Data.Opposite (#650) …
Added Opposite.unop_eq_iff_eq_opView on Github →