Implication Details

Assumptions: self-dual, well-powered

Conclusions: well-copowered

Proof: This holds by self-duality.

Show 1 category using this implication