Theorem Prod.swap_RightInverse

Modification history