Theorem Sum.swap_left_inverse

Modification history