unify/it.unibo.tuprolog.unify/Equation/Contradiction/lhs

lhs

open override val lhs: <ERROR CLASS>
Content copied to clipboard

The left-hand side of the equation