Theorem MulOpposite.unop_injective

Modification history