Theorem AlgHom.card_of_splits

Modification history