Theorem Basis.det_map

Modification history