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

by Jarosław Kotowicz
Venue:Formalized Mathematics
Citations:1 - 0 self