Introducing myself: Yuma Mizuno

Stream: new members

[Yuma Mizuno]

Hello! I am a posdoc in mathematics, and recently became interested in formalizing mathematics.

I would like to make a first pull request to mathlib (adding few easy lemmas). Could someone give me access to mathlib repository? My github username is yuma-mizuno.

[Scott Morrison]

Invite sent!

[Yuma Mizuno]

Thank you!

[Kalle Kytölä]

Hello @Yuma Mizuno!

I noticed you work on cluster algebras, and I would be very excited to see anything related to those in mathlib. :smiley: