P
Initializing...
Eilenberg theorem for many-sorted formations · Prove2Me