Theorem not_isLeft_and_isRight

Modification history