Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Norm Megill
Projective geometries based on Hilbert lattices
cpmap

Next ⟩ df-llines

Metamath Proof Explorer

Ascii
Structured

Syntax definition cpmap

Description: Extend class notation with projective map.

		Ref	Expression
	Assertion	cpmap	class pmap