Theorem MulEquiv.piCongrRight_refl

Modification history