Idris2Doc : quantifiers-extra

Package quantifiers-extra - Namespaces