Dedekind
0.0.0
A structuralist C++23 Module Library
Loading...
Searching...
No Matches
dedekind::category::construction_base< S > Struct Template Reference
module
dedekind.algebra
Public Types
using
type
=
subalgebra_base_t
<S>
Static Public Attributes
static constexpr bool
times_mixes_plus
= false
The documentation for this struct was generated from the following file:
src/main/modules/dedekind/algebra/
quotient.cppm
dedekind
category
construction_base< S >
Generated by
1.15.0