chore: remove unnecessary import in Batteries.Lean.LawfulMonad

leanprover-community / batteries

The "batteries included" extended library for the Lean programming language and theorem prover

Apache License 2.0

253 stars 105 forks source link

Closed kim-em closed 2 weeks ago

leanprover-community-bot commented 1 week ago

Mathlib CI status (docs):

💥 Mathlib branch batteries-pr-testing-1042 build failed against this PR. (2024-11-13 06:05:38) View Log