[Merged by Bors] - chore(library/init/function): use dot notation, add some docstrings #216
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Renamed (in
function
namespace):injective_comp
,surjective_comp
,bijective_comp
:injective.comp
,surjective.comp
,bijective.comp
;injective_of_left_inverse
:left_inverse.injective
;injective_of_has_left_inverse
:has_left_inverse.injective
;surjective_of_has_right_inverse
:has_right_inverse.surjective
;id_of_left_inverse
,id_of_right_inverse
:left_inverse.id
,right_inverse.id
(bothprotected
).