10 Nov
1994
10 Nov
'94
8:22 a.m.
The result goes back to Claude Chevalley's seminar. (One direction does require the Axiom of Choice.) I think a simple formulation is in J.Gray's paper on fibrations in the proceedings of La Yolla conference, Springer 1965. -- Dusko Pavlovic