Theorem Prod.swap_bijective

Modification history