mathlib
1a30610a - chore(logic/equiv/fin): golf, avoid `norm_num` (#15442)

Login via GitHub
Home
Pricing
FAQ
Install

Login via GitHub

Commit

3 years ago

chore(logic/equiv/fin): golf, avoid `norm_num` (#15442)

Author

urkud

urkud

Parents

FAQ Terms Privacy Refunds Impressum

Loading