mathlib
fd47bdf0 - fix(tactic/choose): typo (#17552)

Login via GitHub
Home
Pricing
FAQ
Install

Login via GitHub

Commit

3 years ago

fix(tactic/choose): typo (#17552)

Author

fzyzcjy

fzyzcjy

Parents

FAQ Terms Privacy Refunds Impressum

Loading