Theorem LinearMap.det_ring

Modification history