Zulip Chat Archive
Stream: new members
Topic: noncomputable def vs lemma
Kenny Lau (Jun 07 2019 at 08:08):
Is there any difference between noncomputable def and lemma?
Kenny Lau (Jun 07 2019 at 08:33):
noncomputable def can still be unfolded
Last updated: May 02 2025 at 03:31 UTC