Theorem Finset.coe_disjUnion

Modification history