Theorem Basis.det_map'

Modification history