Theorem IntermediateField.Lifts.eq_iff

Modification history