Theorem Finset.attach_map_val

Modification history