Theorem List.map_subset_iff

Modification history