Is large lepton mixing excluded?

The original ν_μ-(orν_τ-) energy spectrum from the gravitational collapse of a star has a larger average energy than the spectrum for νₑ since the opacity of νₑ exceeds that of ν_μ(orν_τ). Flavor neutrino conversion νₑ↔ν_μ induced by lepton mixing results in partial permutation of the original νₑ and ν_μ spectra. An upper bound on the permutation factor p≤0.35 (99% C.L.) is derived using the data from SN 1987A and a range of models of the neutrino emission. The relation between the permutation factor and the vacuum mixing angle is established, which leads to the upper bound on this angle. The upper bound sin²2θ>0.7-0.9 excludes the large mixing angle solutions of the solar neutrino problem: "just-so" and, partly, MSW, as well as part of the region of the νₑ-ν_μ oscillation space which could be responsible for the atmospheric muon neutrino deficit. These limits are sensitive to the predicted neutrino spectrum and can be strengthened as supernova models improve.