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: Dec 20 2025 at 21:32 UTC