Theorem Finset.map_cast_heq

Modification history