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

added theorem Real.log_le_log'