[Agda] \exists definition

Serge D. Mechveliani mechvel at botik.ru
Wed Aug 22 21:03:34 CEST 2012


On Wed, Aug 22, 2012 at 10:49:37PM +0400, Serge D. Mechveliani wrote:
> Please, 
> where is the definition for the  \exists  math symbol (type constructor?) ?
> [..]

Sorry, I see it now in  module Data.Product

------
Sergei



More information about the Agda mailing list