Theorem IntermediateField.exists_finset_of_mem_supr'

Modification history