Theorem Basis.det_ne_zero

Modification history