ary infix operator that creates a relation such that the left hand side value is an instance of the right hand side type or some type derived from it

This website does not use cookies or javascript, excluding the Google search bar and Google analytics.
copyright © Brent Lewis 2013-2018