Rida Hamadani

ridahamadani.com [email protected]

Beirut, Lebanon math grad that likes coding

Results 3 comments of


                                            Rida Hamadani

A lemma of B. H. Neumann.

Run `scripts/mk_all.sh` in your terminal then commit again.

feat(NumberTheory/SmoothNumbers): multiplicativity

LGTM

feat: add lemmas for Nat/Bits, Nat/Bitwise and Nat/Size

LGTM!