Open RaymondTana opened 2 years ago
For some reason, sometimes I can't see the final chapter available: .
But when I go to the Contents page or to the final chapter, it appears again as an option:
Maybe write the Foundation Axiom with its universal closure made explicit, since all the other axioms are closed that way too.
Fixed by 93d3e69ca6ebb964d0ec08ff44390b52f6be767d
For some reason, sometimes I can't see the final chapter available: .
But when I go to the Contents page or to the final chapter, it appears again as an option:
Yes, this happens to me, too. Seems to be a Jupyterbook issue. I will try to clear build and rebuild completely.
Maybe write the Foundation Axiom with its universal closure made explicit, since all the other axioms are closed that way too.