Connect LeftInverse
with (Split
)Surjection
#2054
Merged
LeftInverse
with (Split
)Surjection
#2054