Theorem LinearMap.toSpanSingleton_isIdempotentElem_iff

Modification history