Theorem Finset.univ_map_subtype

Modification history