Commit 2021-12-08 13:44 eedb906c
View on Github →feat(measure_theory/integral): ∫ x in b..b+a, f x = ∫ x in c..c + a, f x for a periodic f (#10477)
feat(measure_theory/integral): ∫ x in b..b+a, f x = ∫ x in c..c + a, f x for a periodic f (#10477)