Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Scott Fenton
Geometry in the Euclidean space
Outside-of relationship
coutsideof
Next ⟩
df-outsideof
Metamath Proof Explorer
Ascii
Unicode
Syntax definition
coutsideof
Description:
Declare the syntax for the outside of constant.
Ref
Expression
Assertion
coutsideof
class
OutsideOf