Pack up _⟫_ and _∥_ in indexed Monoid structure
Created by: joaopizani
From @joaopizani on March 28, 2015 12:35
Will allow to use Monoid solver for "circuit equations".
Copied from original issue: joaopizani/piware#29
Created by: joaopizani
From @joaopizani on March 28, 2015 12:35
Will allow to use Monoid solver for "circuit equations".
Copied from original issue: joaopizani/piware#29