Theorem MulEquiv.ext

Modification history