Theorem MulEquiv.self_comp_symm

Modification history