Zulip Chat Archive
Stream: mathlib4
Topic: Lean 4 version of Exists.some?
Arien Malec (Feb 05 2023 at 04:30):
What's the port for docs#Exists.some ?
Arien Malec (Feb 05 2023 at 04:31):
Last updated: Dec 20 2023 at 11:08 UTC
What's the port for docs#Exists.some ?
Last updated: Dec 20 2023 at 11:08 UTC