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: Dec 20 2023 at 11:08 UTC