Theorem Sum.swap_right_inverse

Modification history