finrank_right_dvd_finrank_sup_of_free — Mathlib · SciLib

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

finrank_right_dvd_finrank_sup_of_free

Mathlib.Algebra.Algebra.Subalgebra.Rank

URI: https://scilib.ai/kg/mathlib#Subalgebra.finrank_right_dvd_finrank_sup_of_free

← MathLib Explorer