Indexed Grothendieck construction

Date: