Theorem Finset.id_traverse

Modification history