Theorem Prod.swap_sup

Modification history