Theorem archimedean_iff_int_le

Modification history