Theorem PNat.dvd_iff

Modification history