untagged-73f3cfa3cd4501cd15c2: Merge pull request #27 from DanielSharp01/master
·
7 commits
to master
since this release
Néhány bizonyítás pontosítása
Néhány bizonyítás pontosítása