Where is the Inverse feature in FiniteSetMaps??
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.