Theorem Finset.disjoint_map

Modification history