Theorem isUnit_op

Modification history

2024-11-15 16:35
Mathlib/Algebra/Group/Opposite.lean
chore(Algebra/Group/Opposite): split off material on `Units` (#18991) …
Modified isUnit_opView on Github →
2023-05-27 16:47
Mathlib/Algebra/Group/Opposite.lean
chore: forward-port leanprover-community/mathlib#19080 (#4398)
Added isUnit_opView on Github →