Pascal's Triangle and Lucas's Theorem

Rafal Ziobro. Pascal's Triangle and Lucas's Theorem. Formalized Mathematics, 32(1):235-245, 2024. [doi]

Abstract

Abstract is missing.