Theorem lt_or_ge

Modification history