Theorem Finset.inter_val_nd

Modification history