Mathlib v3 is deprecated. Go to Mathlib v4

Theorem onote.NF.of_dvd_omega_opow

Modification history