Stream: math-comp users

Topic: ✔ Syntax for reverse in multirule rewrite


view this post on Zulip Laurent Théry (Feb 26 2024 at 14:05):

the PR has been created

view this post on Zulip Notification Bot (Feb 26 2024 at 14:06):

Laurent Théry has marked this topic as resolved.


Last updated: Jul 15 2024 at 21:02 UTC