Theorem MulOpposite.unop_bijective

Modification history