Say I have defined a map f within the set of maps FiniteSetMaps....
It's great that I can do things like: f.domain(), f.codomain(), f.image_set(), f.getimage().
But how do I take the inverse? Is that feature not present? Is it in the roadmap?
Thanks.
