Theorem Finsupp.LinearEquiv.finsuppUnique_symm_apply

Modification history