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