@misc{indiciaed4701cb00005,
  title = {Producing symmetrical facts for lists induced by the list reversal mapping in Isabelle/HOL},
  author = {Martin Raška and Štěpán Starosta},
  year = {2022},
  url = {https://arxiv.org/abs/2104.11622},
  note = {Source identifier: 2104.11622}
}