Theorem Finset.univ_val_map_subtype_restrict

Modification history