Commit 2024-03-03 17:13 244fea28

View on Github →

chore: adjust some lemmas to the naming convention (#11118)

Estimated changes

Modified Mathlib/Analysis/Complex/AbelLimit.lean

deleted theorem Complex.stolzCone_subset_StolzSet_aux

added theorem Complex.stolzCone_subset_stolzSet_aux

Modified Mathlib/Topology/Semicontinuous.lean

deleted theorem lowerSemicontinuous_iff_IsClosed_epigraph

added theorem lowerSemicontinuous_iff_isClosed_epigraph