Finite graph support in equation explorer/graphiti

Stream: Equational

[Vlad Tsyrklevich]

There is now an option in equation explorer/graphiti to switch to viewing the finite graph. I display a green band on the left side in those cases to visually differentiate viewing the finite graph from the general graph. All links should also lead to other finite graph pages--if you spot an instance where there is a link from a page about the finite graph to something about he general graph that is a bug, please let me know.

Also, you may notice that the show_proof page shows two conflicting paths for cases where the finite graph differs from the general graph, this will be fixed on equational#823 lands. This has landed and been fixed.

[Vlad Tsyrklevich]

It would be nice to have a 'finite_diff' page that shows the differences between the two graphs since they mostly overlap in the future.