Stream: math-comp users

Topic: ✔ Beta-reduction of finite function


view this post on Zulip Ricardo (Nov 25 2022 at 15:20):

I found it! rewrite ffunE does the trick.

view this post on Zulip Notification Bot (Nov 25 2022 at 15:20):

Ricardo has marked this topic as resolved.


Last updated: Feb 02 2023 at 13:03 UTC