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: May 02 2025 at 03:31 UTC
What's the port for docs#Exists.some ?
Last updated: May 02 2025 at 03:31 UTC