(Translated by https://www.hiragana.jp/)
[2402.02580] Search for a heavy neutral lepton that mixes predominantly with the tau neutrino