Theorem MeasureTheory.IsFundamentalDomain.setIntegral_eq_tsum

Modification history