Theorem BilinForm.ext_basis

Modification history