ECS 120 5a:2 definition of separating extension and L-equivalence

From David Doty