Theorem Basis.det_comp

Modification history