(2steps) PrintForm Definitions mb state machine Sections GenAutomata Doc

At: small state 1
1. I: Type
2. M: Ism{i:l}()
3. j: I
4. x: {(M(i)).ds for i I}

x {(M(j)).ds}
By: RSallHD -1
Generated subgoals:

None

About:
applyfunctionuniversemember

(2steps) PrintForm Definitions mb state machine Sections GenAutomata Doc