Theorem Prod.swap_left_inverse

Modification history