feat(Tactic/GCongr): add norm_num as a side goal discharger for gcongr#20234
Closed
Command-Master wants to merge 7 commits intomasterfrom CM_gcongr_disch_nn
+16-26
Commits
Commits on Dec 25, 2024
- committed
- committed
- committed
- committed
- committed
- committed
- committed
