Theorem Prod.fst_swap

Modification history