Theorem Basis.det_self

Modification history