Theorem eqv_lt_iff_eq

Modification history