Theorem LinearMap.exists_isNilRegular

Modification history