Add coq.univ.alg-super, @keep-alg-univs!#804

CohenCyril merged 3 commits intoLPCIC:masterLPCIC/coq-elpi:masterfrom

lweqx:keep-alg-univslweqx/coq-elpi:keep-alg-univsCopy head branch name to clipboard