dedekind::category::detail_quotient::IntByEquality Struct Reference

Public Member Functions
constexpr	IntByEquality (int v)

Public Attributes
int	value
	int / (=) ≅ int; the projection V ->> Q is the identity.

---

The documentation for this struct was generated from the following file:

• src/main/modules/dedekind/algebra/quotient.cppm