Commit 2023-06-17 07:20 3d6afecf

View on Github →

feat: add edist_congr (#4874)

Estimated changes

added theorem edist_congr