Commit 2023-06-23 06:08 276830b3

View on Github →

feat: gcongr lemmas for Real.log (#5352) This PR adds support for Real.log to gcongr.

Estimated changes