topmfd@tg says to 電訊台 然後prove matrix of dual map with respect to dual basis is the transpose of the matrix of the map