Theorem Prod.swap_rightInverse

Modification history