Theorem Prod.swap_one

Modification history