PrintForm Definitions mb collection Sections GenAutomata Doc

At: member col none

T:Type{i'}, x:T. x < > False
By: RW ColMemberC 0
Generated subgoals:

None

About:
universefalseall

PrintForm Definitions mb collection Sections GenAutomata Doc