Stream: math-comp users

Topic: ✔ ssreflect unfold `In` but I don't want it to?


view this post on Zulip Notification Bot (Nov 03 2022 at 16:30):

Cyril Cohen has marked this topic as resolved.


Last updated: Jan 29 2023 at 19:02 UTC