mathlib3
46614736 - chore(analysis/normed/normed_field): golf 2 proofs (#14746)

Commit

3 years ago

chore(analysis/normed/normed_field): golf 2 proofs (#14746)

Author

urkud

urkud

Parents

Loading