Leo Shine

Two issues, If you use the code as written it doesn't have the right type for Trans, also there's a clash with the existing | operator

Fix the documentation about calculational proofs to work with Lean 4

Cannot avoid using synchronous calls in OData with entity framework

6

**Assemblies affected** Microsoft.AspNetCore.OData 8.2.5 (but probably all of them **Describe the bug** When using an IQueryable generated via entity framework the default behaviour is to have synchronous calls to the...