Theorem MulOpposite.op_surjective

Modification history