Implication Details

Assumptions: finite, one-way, skeletal

Conclusions: inverse

This implication has been dualized from this implication.