Theorem Subfield.cardinal_mk_closure_le_max

Modification history