Theorem Relation.cutExpand_le_invImage_lex

Modification history