Home

M.__Otto



Ptime canonization for two variables with counting