math-classes icon indicating copy to clipboard operation
math-classes copied to clipboard
verified publisher icon coq-community

Use universe polymorphism to eliminate ua_subalgebraT.v

Open spitters opened this issue 7 years ago • 0 comments

spitters avatar Nov 17 '18 15:11 spitters