Def FinVect.forget₂_monoidal

Modification history