|
Dedekind 0.0.0
A structuralist C++23 Module Library
|
Whether a factor is empty, \(0^e\) with \(e > 0\). More...
Public Member Functions | |
| constexpr bool | operator() (const Factor< N > &f) const |
Whether a factor is empty, \(0^e\) with \(e > 0\).