mathlib

03160bb7 - Merge remote-tracking branch 'origin/adomani_add_monoid_algebra_nzd' into adomani_ama_nzd