feat: Array lemma for empty map added

leanprover-community / batteries

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

Apache License 2.0

242 stars 101 forks source link

Closed Shreyas4991 closed 2 months ago

Shreyas4991 commented 3 months ago

As the title says, this adds an API lemma mem_empty.

Shreyas4991 commented 3 months ago

awaiting-review