doc: doc-strings to module docs in Data/Array/Lemmas

leanprover / lean4

Lean 4 programming language and theorem prover

https://lean-lang.org

Apache License 2.0

4.74k stars 427 forks source link

Closed adomani closed 4 days ago

adomani commented 5 days ago

This PR converts 3 doc-string to module docs since it seems that this is what they were intended to be!

leanprover-community-bot commented 5 days ago

Mathlib CI status (docs):

❗ Batteries/Mathlib CI will not be attempted unless your PR branches off the nightly-with-mathlib branch. Try git rebase b30903d1fcae504013d493c8d15f368a62e0e89e --onto 7fbe8e3b36faabc9cfcc45e65a4b7ef042c0b068. (2024-11-21 00:54:57)