Theorem Matrix.isNilpotent_toLin'_iff

Modification history