Commit 2024-11-22 05:01 981dca5c
View on Github →chore(SchwartzSpace): clean up white space (#19336)
Definitions in term mode using mkCLM are indented by 6 spaces, but formulating things with refine drops it to a more reasonable 2 spaces. Absolutely no math change, just unindenting.