@misc{indiciae35f5fa1d9d3b,
  title = {Derived operations satisfy standard identities},
  author = {Vladimir Dotsenko},
  year = {2025},
  doi = {10.1007/s00574-025-00494-z},
  url = {https://arxiv.org/abs/2511.01410},
  note = {Source identifier: 2511.01410}
}