Theorem RelIso.toFun_mul

Modification history