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