Implication Details
Assumptions: cogenerator
Conclusions: cogenerating set, inhabited
This implication has been dualized from this implication.
Assumptions: cogenerator
Conclusions: cogenerating set, inhabited
This implication has been dualized from this implication.