Jump to content

Field/Domain/Fact

From Wikiversity

Let denote a field. Then

implies that

or

.