Theorem LinearMap.IsRefl.eq_zero

Modification history