Theorem Finset.univ_val_map_subtype_val

Modification history