# Properties of Planes

## `IsDesarguesian(P): Plane -> BoolElt`

Returns `true` if and only if the plane $P$ is a desarguesian plane.

## `IsSelfDual(P): PlaneProj -> BoolElt`

Returns `true` if and only if the projective plane $P$ is self–dual.