Integer Moore determinants and iterated Fermat quotients

Source: url:https://github.com/AxiomMath/GranvilleMoore Authors: Ken Ono Status: verified Main declarations: GranvilleMoore.not_pow_succ_dvd_det_mooreMatrix_iff Tags: number-theory, fermat-quotients, determinants, p-adic-valuations, polynomial-identities MSC: 11A07, 11C20, 15A15