Theorem LinearMap.BilinForm.isRefl_zero

Modification history