Theorem Prod.fst_supᵢ

Modification history