Grothendieck 2-topoi are elementary 2-topoi

Date: