Zorn's lemma

[[concept]]
Zorn's Lemma

If every chain in a nonempty, partially ordered set E has an upper bound, then E contains a maximal element.

Without Proof
Note

Mentions

Mentions

const { dateTime } = await cJS()

return function View() {
	const file = dc.useCurrentFile();
	return <p class="dv-modified">Created {dateTime.getCreated(file)}     ֍     Last Modified {dateTime.getLastMod(file)}</p>
}