Theorem MulAction.isPretransitive_compHom

Modification history