Theorem MulOpposite.«forall»

Modification history