Theorem cardinal_mk_algHom_le_rank

Modification history