Theorem LinearEquiv.toSpanNonzeroSingleton_one

Modification history