Theorem List.foldr_sup_eq_sup_toFinset

Modification history