Theorem Finset.disjoint_range_addRightEmbedding

Modification history