Theorem Prod.fst_comp_toSigma

Modification history