Implication Details

Assumptions: coregular, mono-regular, well-copowered

Conclusions: well-powered

This implication has been dualized from this implication.

Show 6 categories using this implication