Stream: math-comp users

Topic: ✔ Syntax for reverse in multirule rewrite

Laurent Théry (Feb 26 2024 at 14:05):

the PR has been created

Notification Bot (Feb 26 2024 at 14:06):

Laurent Théry has marked this topic as resolved.

Last updated: Oct 13 2024 at 01:02 UTC