Theorem MulOpposite.op_bijective

Modification history