Theorem IntermediateField.rank_bot

Modification history