Skip to content

chore: add some doc-strings, so Mathlib is happy #21

chore: add some doc-strings, so Mathlib is happy

chore: add some doc-strings, so Mathlib is happy #21