Theorem Prod.swap_surjective

Modification history