Theorem LinearMap.IsRefl.flip_isRefl_iff

Modification history