Implication Details

Assumptions: complete

Conclusions: multi-complete

Reason: Limits are precisely multi-limits such that the set of cones is singleton.