Theorem Prod.swap_injective

Modification history