Theorem IntermediateField.Lifts.nonempty_algHom_of_exist_lifts_finset

Modification history