🔍 Equations Inline Footnotes module Data.Sum where Sum types🔗 open import Data.Sum.Properties public open import Data.Sum.Base public
