Fix spacing compact theorems
All checks were successful
Build helpers / build_helpers (push) Successful in 5s

This commit is contained in:
2026-01-05 10:17:29 +01:00
parent db2fbc4c70
commit fd66333f7a