Theorem LinearMap.IsRefl.eq_iff

Modification history