Theorem Relation.cutExpand_pair_left

Modification history