Theorem Fin.prod_snoc

Modification history