OAI/Geometry/EinsteinFour/ScalarIntegrableSeries.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Absolute integral convergence makes a pointwise scalar series integrable.

  1. theorem OAI.PositiveEinsteinFour.Geometry.scalar_integrable_series line 12