map — Mathlib · SciLib

∫ Утверждение Mathlib

map

Mathlib.Algebra.Category.ModuleCat.ExteriorPower

URI: https://scilib.ai/kg/mathlib#ModuleCat.exteriorPower.map

← MathLib Explorer