Theorem MulOpposite.«exists»

Modification history