Theorem eq_top_or_lt_top

Modification history