Theorem Prod.fst_supₛ

Modification history