Theorem Subfield.cardinal_mk_closure

Modification history