mathlib3
ef72d2cc - Merge remote-tracking branch 'origin/field_fintype' into order_field_power

Commit

3 years ago

Merge remote-tracking branch 'origin/field_fintype' into order_field_power

Author

kim-em

kim-em

Parents

Loading