Dedekind 0.0.0
A structuralist C++23 Module Library
Loading...
Searching...
No Matches
dedekind::category::detail_etcs_total_witness::NonRegular Struct Reference
module dedekind.category
The documentation for this struct was generated from the following file:
  • src/main/modules/dedekind/category/etcs.cppm