Theorem Prod.swap_LeftInverse

Modification history