Theorem Finset.dens_eq_sum_dens_fiberwise

Modification history