Good correction of that typo in the Counterexamples entry! Well done!--[[User:Aschlafly|Andy Schlafly]] ([[User talk:Aschlafly|talk]]) 19:43, October 16, 2022 (EDT) | Good correction of that typo in the Counterexamples entry! Well done!--[[User:Aschlafly|Andy Schlafly]] ([[User talk:Aschlafly|talk]]) 19:43, October 16, 2022 (EDT) |