Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Thierry Arnoux
Extensible Structures
Order Theory
cmnt

Next ⟩ cmgc

Metamath Proof Explorer

Ascii
Structured

Syntax definition cmnt

Description: Extend class notation with monotone functions.

		Ref	Expression
	Assertion	cmnt	class Monot