Thms action sets Sections AutomataTheory Doc

tidentity Def Id == Id

Thm* A:Type. Id AA

identity Def Id(x) == x

Thm* A:Type. Id AA

About:
!abstractionapplyalluniversememberfunction