mathlib icon indicating copy to clipboard operation
mathlib copied to clipboard

Published 20 hours ago • verified publisher icon leanprover-community

Type vars in `data/polynomial/splitting_field`

Open urkud opened this issue 5 years ago • 2 comments

Some parts of the file use [field R]. This looks strange to me.

urkud avatar Oct 20 '20 04:10 urkud