Commit 2024-09-26 02:42 b272ab87
View on Github →feat: monotonicity lemmas for OrdinalApprox (#15522)
This PR adds two lemmas about monotonicity for lfpApprox and gfpApprox each. I found them helpful when working with the API.
feat: monotonicity lemmas for OrdinalApprox (#15522)
This PR adds two lemmas about monotonicity for lfpApprox and gfpApprox each. I found them helpful when working with the API.