View of Programming theorems on enumerator | Teaching Mathematics and Computer Science