Theorem IsMulHom.id

Modification history