Change universal arrows to (co)reflections#158

Merged

nmvdw merged 3 commits intoUniMath:masterfrom

arnoudvanderleer:reflections

Jun 1, 2025

Commits on May 14, 2025

Commits on May 16, 2025

Make two or three definitions slightly smoother using the new `make_reflection'` constructor
arnoudvanderleer
committed