π_desc_apply — Mathlib · SciLib

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

π_desc_apply

Mathlib.Algebra.Module.Presentation.Basic

URI: https://scilib.ai/kg/mathlib#Module.Relations.Solution.IsPresentation.π_desc_apply

← MathLib Explorer