postcomp_id — Mathlib · SciLib

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

postcomp_id

Mathlib.Algebra.Module.Presentation.Basic

URI: https://scilib.ai/kg/mathlib#Module.Relations.Solution.postcomp_id

← MathLib Explorer