pow_sub_one_gcd_pow_sub_one — Mathlib · SciLib

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

pow_sub_one_gcd_pow_sub_one

Mathlib.Data.Nat.GCD.Basic

URI: https://scilib.ai/kg/mathlib#Nat.pow_sub_one_gcd_pow_sub_one

← MathLib Explorer