Theorem Finset.disjiUnion_map_sigma_mk

Modification history