Theorem symmDiff_right_involutive

Modification history