Theorem Homeomorph.mulRight₀_symm_apply

Modification history