WhoCites Definitions mb label Sections GenAutomata Doc

Who Cites sq type?
sq_typeDef SQType(T) == x,y:T. x = y {x ~ y}

Syntax:SQType(T) has structure: sq_type(T)

About:
equalsqequalimpliesall!abstraction

WhoCites Definitions mb label Sections GenAutomata Doc