Theorem Basis.det_isEmpty

Modification history