The top documents tagged [properties of groupschem]