Skip to content

Connect LeftInverse with (Split)Surjection#2054

Merged
MatthewDaggitt merged 4 commits intoagda:masterfrom
laMudri:split-surjection
Oct 19, 2023
Merged

Connect LeftInverse with (Split)Surjection#2054
MatthewDaggitt merged 4 commits intoagda:masterfrom
laMudri:split-surjection

Commits

Commits on Aug 13, 2023

Commits on Oct 19, 2023