This page contains three views of the steps in the derivation: d3js, graphviz PNG, and a table.
Notes for this derivation:
imisgmiasgniasgnas
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  add zero to LHS 



Nothing to split 
4162950326:
1676875597: 
4162950326:
1676875597: 

1  add zero to LHS 



Nothing to split 
5530941257:
error for dim with 5530941257 5183724025: no LHS/RHS split 
5530941257:
N/A 5183724025: N/A 
symbol ID  category  latex  scope  dimension  name  value  Used in derivations  references 
