Stream: math-comp analysis

Topic: ✔ Unknown notation --> ?

view this post on Zulip Julien Puydt (Sep 26 2022 at 16:05):

@Cyril Cohen Ah, I was missing the Import numFieldNormedType.Exports, now the sentence makes sense. Thanks!

view this post on Zulip Notification Bot (Sep 26 2022 at 16:05):

Julien Puydt has marked this topic as resolved.

Last updated: Feb 05 2023 at 14:02 UTC