Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-05-27 00:46 a85fbdae

View on Github →

feat(algebra/opposites): add units.op_equiv (#7723)

Estimated changes

Modified src/algebra/opposites.lean

added theorem units.coe_op_equiv_symm

added theorem units.coe_unop_op_equiv

added def units.op_equiv