Theorem IntermediateField.Lifts.mem_lifts_of_splits

Modification history