Theorem MagmaCat.ofHom_comp

Modification history