Theorem Prod.swap_swap_eq

Modification history