Theorem List.mem_foldr_sup_support_iff

Modification history