Theorem Prod.swap_wcovby_swap

Modification history