exponent Sections AutomataTheory Doc

identity Def Id(x) == x

Thm* A:Type. Id AA

About:
!abstractionapplyalluniversememberfunction