mathlib3
bcec57a6 - switch has_inv to requiring division_ring. still too strong.

Commit

4 years ago

switch has_inv to requiring division_ring. still too strong.

Author

dupuisf

dupuisf

Parents

Loading