compiler/edu.cornell.cs.apl.viaduct.algebra/HeytingAlgebra/imply

imply

abstract fun imply(that: T): T
Content copied to clipboard

this.imply(that) is the greatest solution to this.meet(x) ≤ that.