Skip to content

Conversation

CommanderTvis
Copy link
Collaborator

No description provided.

@CommanderTvis CommanderTvis added the documentation Improvements or additions to documentation label Feb 13, 2021
@CommanderTvis CommanderTvis linked an issue Feb 13, 2021 that may be closed by this pull request
@altavir altavir merged commit 3b38e5c into dev Feb 13, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

documentation Improvements or additions to documentation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Mathematical correctness of terms

2 participants