Dedekind 0.0.0
A structuralist C++23 Module Library
Loading...
Searching...
No Matches
dedekind::sets::IsGraphAtom Concept Referenceexport
module dedekind.sets

An atom that is the graph of a function of the first slot. More...

Concept definition

template<typename P>
concept dedekind::sets::IsGraphAtom = graph_atom<P>::value
dedekind::sets::IsGraphAtom
An atom that is the graph of a function of the first slot.
Definition terms.cppm:2557
dedekind::sets::graph_atom
π_2 == t, or t == π_2, with t mentioning only the first slot: the graph of the function x ↦ t(x)....
Definition terms.cppm:2521

Detailed Description

An atom that is the graph of a function of the first slot.