Theorem IntermediateField.bot_eq_top_of_rank_adjoin_eq_one

Modification history