Theorem List.map_subset

Modification history