Refactor unique and add IsWeakPullback and MonoWeakPullback#512

Merged

JacquesCarette merged 2 commits intoagda:masterfrom

sergey-goncharov:master

Apr 2, 2026

Commits on Mar 21, 2026

added unique′ and refactored unique through it; added jmono; added IsWeakPullback and MonoWeakPullback⇒Pullback
sergey-goncharov
committed
+JointMono₂
sergey-goncharov
committed