Euclid.Exists.first_present
You're seeing just the function
first_present
, go back to Euclid.Exists module for more information.
first_present
, go back to Euclid.Exists module for more information.