Renamed inv to the_inv and turned it into an abbreviation (based on the_inv_onto).
Renamed inv to the_inv and turned it into an abbreviation (based on the_inv_onto).

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle