∫ Утверждение Mathlib
prime_seven
Mathlib.Data.Nat.Prime.Defs
URI: https://scilib.ai/kg/mathlib#Nat.prime_seven
∫ Утверждение Mathlib
Mathlib.Data.Nat.Prime.Defs
URI: https://scilib.ai/kg/mathlib#Nat.prime_seven