Stream: math-comp users

Topic: ✔ How to use x - x = 0 in a ring ?

view this post on Zulip Julien Puydt (May 17 2022 at 05:03):

Wonderful ; indeed I didn't find those because I tried to search in the direction of "opp"/"oppr"... thanks!

view this post on Zulip Notification Bot (May 17 2022 at 05:03):

Julien Puydt has marked this topic as resolved.

Last updated: Jan 29 2023 at 19:02 UTC