Zulip Chat Archive
Stream: PR reviews
Topic: lean#452 making fin a subtype
Gabriel Ebner (Aug 24 2020 at 12:27):
I haven't been following the discussion here. Do we want to make fin a subtype of nat?
Johan Commelin (Aug 24 2020 at 12:35):
Relevant issue: lean#359
Last updated: May 02 2025 at 03:31 UTC