Stream: math-comp users

Topic: ✔ Proving linearity is closed on function add/scale

abab9579 (Aug 25 2022 at 01:00):

Oh, that is simpler than I expected. Anyway, it turnedd out that the lemmas are not so useful for me. Still, I appreciate your help a lot!

Notification Bot (Aug 25 2022 at 01:00):

abab9579 has marked this topic as resolved.

Last updated: Feb 08 2023 at 08:02 UTC