Zulip Chat Archive
Stream: general
Topic: are dsimp and simp idempontent?
Kenny Lau (Apr 02 2018 at 13:00):
Are dsimp and simp idempontent?
Kenny Lau (Apr 02 2018 at 13:00):
I think we know that ring isn't idempotent
Kevin Buzzard (Apr 02 2018 at 13:40):
I've never seen simp work twice in a row
Kenny Lau (Apr 02 2018 at 13:43):
you're right
Last updated: Aug 03 2023 at 10:10 UTC