Theorem Finset.disjoint_map_inl_map_inr

Modification history