Theorem List.foldr_inf_eq_inf_toFinset

Modification history