Theorem Matrix.matPolyEquiv_eval_eq_map

Modification history