Theorem Set.inter_left_comm

Modification history