Theorem Prod.swap_inj

Modification history