Simplify swap map of two-element types#1997

Open

MatthiasHu wants to merge 2 commits into

UniMath:masterfrom

MatthiasHu:simplify-swap-2-element-type

Commits on Jul 10, 2026

shorten has-no-fixed-points-swap-2-Element-Type
Matthias Ritter
committed

Commits on Jul 12, 2026

simplify is-not-identity-swap-2-Element-Type
Matthias Ritter
committed