Expand description
Properties of pure mathematical spec functions (spec_fn).
Functionsยง
- bijective_
on - construct_
inverse - construct_
left_ inverse - inverse_
on - left_
inverse_ on - lemma_
bijective_ cardinality - lemma_
bijective_ subset_ still_ bijective - lemma_
construct_ inverse_ sound - lemma_
construct_ left_ inverse_ sound - lemma_
injective_ implies_ injective_ on - lemma_
injective_ map_ cardinality - lemma_
inverse_ of_ bijection_ is_ bijective - lemma_
left_ inverse_ of_ bijection_ is_ bijective - lemma_
right_ inverse_ of_ bijection_ is_ bijective - lemma_
two_ sided_ inverse_ implies_ bijective - right_
inverse_ on