Theorem Sum.liftRel_subrelation_lex

Modification history