Theorem ONote.NF.of_dvd_omega0_opow

Modification history