Metamath Proof Explorer


Syntax definition cfae

Description: Extend class notation to include the 'almost everywhere' builder.

Ref Expression
Assertion cfae class ~ a.e.