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: Feb 28 2026 at 14:05 UTC
What's the port for docs#Exists.some ?
Last updated: Feb 28 2026 at 14:05 UTC