This page contains three views of the steps in the derivation: d3js, graphviz PNG, and a table.
Notes for this derivation:
https://en.wikipedia.org/wiki/Derivation_of_the_Schwarzschild_solution
Clicking on the step index will take you to the page where you can edit that step.
Index  Inference Rule  Input latex  Feeds latex  Output latex  step validity  dimension check  unit check  notes 

2  change two variables in expr 



valid 
8946383937:
4275004561: dimensions are consistent 
8946383937:
4275004561: N/A 

4  divide both sides by 



valid 
2883079365:
dimensions are consistent 6800170830: 
2883079365:
N/A 6800170830: 

1  raise both sides to power 



no check is performed 
5404822208:
8946383937: 
5404822208:
8946383937: 

3  multiply both sides by 



valid 
4275004561:
dimensions are consistent 2883079365: dimensions are consistent 
4275004561:
N/A 2883079365: N/A 