Theorem IntermediateField.Lifts.exists_max_three

Modification history