Theorem card_algHom_le_finrank

Modification history