Commit 2025-10-23 14:48 32bd6c7c

View on Github →

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

Estimated changes

modified theorem Finset.not_nontrivial_empty
modified theorem Finset.subset_union_right
modified theorem Part.inv_def
modified theorem Set.powerset_empty
modified theorem Set.powerset_inter
modified theorem Set.powerset_univ
modified theorem Stream'.take_succ'