Theorem IntermediateField.Lifts.exists_upper_bound

Modification history