Open alanruttenberg opened 7 months ago
See commit 62640d3 The bug is in the macro that generates the dissective axioms. Occurs in 4 axioms across CL, repeated in P9, PDFs. Fixed in source - will close when files here are updated next.
See commit 62640d3 The bug is in the macro that generates the dissective axioms. Occurs in 4 axioms across CL, repeated in P9, PDFs. Fixed in source - will close when files here are updated next.