Invertibility of elements given a characteristic #
This file includes some instances of
invertible for specific numbers in
characteristic zero. Some more cases are given as a
def, to be included only
when needed. To construct instances for concrete numbers,
invertible_of_nonzero is a useful definition.
invertible n instances for small numerals
n. Feel free to add your own
number when you need its inverse.