Euclid.Extra.List.first
You're seeing just the function
first
, go back to Euclid.Extra.List module for more information.
first
, go back to Euclid.Extra.List module for more information.