Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2019-04-06 10:59 d8a2bc51

View on Github →

feat(algebra/opposites): opposites of operators (#538)

Estimated changes

added def opposite.op
added theorem opposite.op_inj
added theorem opposite.op_unop
added def opposite.unop
added theorem opposite.unop_inj
added theorem opposite.unop_op
added def opposite