Theorem Prod.swap_leftInverse

Modification history