Dedekind
0.0.0
A structuralist C++23 Module Library
Loading...
Searching...
No Matches
dedekind::sets::PositiveInfinity Struct Reference
export
module
dedekind.sets
Friends
constexpr friend bool
operator==
(const
PositiveInfinity
&, const
PositiveInfinity
&)=default
Detailed Description
$+\aleph_0
The documentation for this struct was generated from the following file:
src/main/modules/dedekind/sets/
cardinality.cppm
dedekind
sets
PositiveInfinity
Generated by
1.15.0