Commit 2025-03-05 10:44 231f035d

View on Github →

chore: fix typo-ed name Continous.ereal_toENNReal (#22578) It should read Continuous.ereal_toENNReal, of course.

Estimated changes

deleted theorem Continous.ereal_toENNReal