dedekind::numbers::detail_lambek_witness Namespace Reference

Variables
constexpr Cardinality	largest_finite

Detailed Description

natural__Formal_Verification

Variable Documentation

largest_finite

Cardinality dedekind::numbers::detail_lambek_witness::largest_finite

inlineconstexpr

Initial value:

=
    finite_cardinality(std::numeric_limits<std::size_t>::max())