Theorem Sum.eq_right_getRight_of_isRight

Modification history