Theorem IsLeftRegular.right_of_commute

Modification history