@misc{indiciae4128b701d8f9,
  title = {A premouse inheriting strong cardinals from \$V\$},
  author = {Farmer Schlutzenberg},
  year = {2020},
  url = {https://arxiv.org/abs/1506.04116},
  note = {Source identifier: 1506.04116}
}