Theorem Finset.gc_map_inl_toLeft

Modification history