Theorem Set.inter_right_comm

Modification history