Commit 2023-07-31 15:32 8b42c6ff

View on Github →

chore (Ideal.Cotangent): simplify term for cotangentIdeal (#6156) This removes an extraneous have and reduces a let binding.

Estimated changes

modified def Ideal.cotangentIdeal