Theorem Prod.fst_injective

Modification history