Theorem Function.Periodic.intervalIntegrable₀

Modification history