Commit 2023-09-29 06:57 d3263b23

View on Github →

chore: exactly 4 spaces in theorems (#7328)

Estimated changes