[{"data":1,"prerenderedAt":4},["ShallowReactive",2],{"gCFTutmnNu":3},"# demazure\n\nThis project contains formalizations of some facts about almost-sign-preserving permutations and the Demazure product on them.\n",1780242002621]