Implication Details
Assumptions: disjoint products, generating set
Conclusions: generator
This implication has been dualized from this implication.
Assumptions: disjoint products, generating set
Conclusions: generator
This implication has been dualized from this implication.