Theorem IntermediateField.Lifts.exists_lift_of_splits

Modification history