Commit 2025-10-20 15:33 59e3f72d

View on Github →

style: fix whitespace (#30725) Found by extending the commandStart linter to proof bodies. Extracted from #30658.

Estimated changes

modified theorem EReal.div_lt_iff
modified theorem univLE_iff_cardinal_le
modified theorem EReal.liminf_neg
modified theorem EReal.limsup_neg