Skip to content

doc: fix typo in BitVec.mul docstring#5473

Merged
kim-em merged 1 commit intoleanprover:masterfrom llllvvuu:docs/bitvec_mulSep 26, 2024

Commits

Commits on Sep 25, 2024