Theorem IntermediateField.rank_eq_rank_subalgebra

Modification history