mathlib icon indicating copy to clipboard operation
mathlib copied to clipboard

Published 20 hours ago • verified publisher icon leanprover-community

feat(ring_theory/ideal/basic): define right ideals and show division rings are left and right Artinian

Open ocfnash opened this issue 3 years ago • 0 comments

See also comments on Zulip

Open in Gitpod

ocfnash avatar May 26 '22 17:05 ocfnash