Theorem IsRightRegular.left_of_commute

Modification history