Def idRestrGroupoid

Modification history