User:Timwi

Lemma
My name is Timwi.

Proof
Self-evident.

Corollary
I started the following pages:

Computer science

 * Deterministic Time Hierarchy Theorem
 * Regular Expression is Accepted by Finite State Machine