lean-ga icon indicating copy to clipboard operation
lean-ga copied to clipboard
verified publisher icon pygae

An attempt at a quotient definition

Open eric-wieser opened this issue 5 years ago • 0 comments

Some discussion at https://leanprover.zulipchat.com/#narrow/stream/217875-Is-there.20code.20for.20X.3F/topic/Ideals.20over.20algebras

eric-wieser avatar Jul 29 '20 18:07 eric-wieser