Enumerate.Function.Invert

fromFunction

fromFunctionM

isMapTotal

invertMap

domainM

corange

corangeM

image

imageM

codomain

codomainM

invert

invertM

getJectivityM

isInjective

isInjectiveM

isUnique

isSurjective

isSurjectiveM

isBijective

isBijectiveM