Theorem IntermediateField.Lifts.le_lifts_of_splits

Modification history