Metamath Proof Explorer


Syntax definition cdilN

Description: Extend class notation with set of all dilations.

Ref Expression
Assertion cdilN class Dil