Theorem MeasureTheory.IsFundamentalDomain.lintegral_eq_tsum''

Modification history