Grothendieck algebraization for finite over proper for spaces
Tags: Added new tags