9 Nov
1994
9 Nov
'94
9:22 p.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