Implication Details

Assumptions: self-dual, sifted

Conclusions: cosifted

Proof: This holds by self-duality.

Show 4 categories using this implication