Theorem InnerProductSpace.HarmonicContOnCl.continuousOn_ball

Modification history

2026-04-19 00:33
Mathlib/Analysis/InnerProductSpace/Harmonic/HarmonicContOnCl.lean
chore: adaptations for overlapping instances linter (#38151) …
Modified InnerProductSpace.HarmonicContOnCl.continuousOn_ballView on Github →
2026-02-25 19:11
Mathlib/Analysis/InnerProductSpace/Harmonic/HarmonicContOnCl.lean
feat: introduce `HarmonicContOnCl` (#35564) …
Added InnerProductSpace.HarmonicContOnCl.continuousOn_ballView on Github →