2023: Jonathan Barrett
This section is about the version of the course offerece on Hilary term 2023 (January).
It is the norm induced by the complex dot product over :