Stream: math-comp users

Topic: ✔ Conversion 'I_p <-> 'Z_p


view this post on Zulip Sebastian Ertel (Apr 14 2023 at 07:36):

Dear @Laurent Théry , thanks for your response. I changed it slightly but it does work.

view this post on Zulip Notification Bot (Apr 14 2023 at 07:36):

Sebastian Ertel has marked this topic as resolved.


Last updated: Jul 23 2024 at 20:01 UTC