Si m divide a n o a k, entonces m divide a nk

Demostrar con Lean4 que si m divide a n o a k, entonces m divide a nk.

Para ello, completar la siguiente teoría de Lean4:

Read More «Si m divide a n o a k, entonces m divide a nk»