Proof check please: Two DFA's

Printable View