Theorem Finset.union_vsub

Modification history