Theorem Finset.map_disjUnion'

Modification history