Theorem PNat.dvd_antisymm

Modification history