Theorem Prod.swap_sInf

Modification history