Implication Details

Assumptions: accessible

Conclusions: well-powered

Reason: See nLab.