Metamath Proof Explorer


Syntax definition cline3

Description: line3 is a class.

Ref Expression
Assertion cline3 class line3