mathlib3

0bc800c2 - feat(algebra/algebra/basic) new bit0/1_smul_one lemmas (#8394)

feat(algebra/algebra/basic) new bit0/1_smul_one lemmas (#8394) See https://leanprover.zulipchat.com/#narrow/stream/113488-general/topic/Import.20impacts.20simp.3F/near/246713984, these lemmas should result in better behaviour with numerals