Open hargoniX opened 4 months ago
https://leanprover.zulipchat.com/#narrow/stream/113488-general/topic/open.20Nat.20doesn't.20work.20for.20Init/near/432929999
https://leanprover.zulipchat.com/#narrow/stream/113488-general/topic/open.20Nat.20doesn't.20work.20for.20Init/near/432929999