## Hermitan functionals. Canonical construction of scalar product in quotient vector space

by
Jarosław Kotowicz

Venue: | Formalized Mathematics |

Citations: | 1 - 0 self |