Metamath Proof Explorer


Syntax definition clc

Description: Extend class notation with lattices with the covering property.

Ref Expression
Assertion clc
class CvLat