Skip to content

Remove 20 ForMathlib declarations now in mathlib/core; rename lsbs → setWidth - #3

Open
ibrahimmian36 wants to merge 1 commit into
inQWIRE:mainfrom
ibrahimmian36:triage/delete-redundant
Open

Remove 20 ForMathlib declarations now in mathlib/core; rename lsbs → setWidth#3
ibrahimmian36 wants to merge 1 commit into
inQWIRE:mainfrom
ibrahimmian36:triage/delete-redundant

Commits

  1. Commits on Aug 26, 2026