Theorem lt_irrefl

Modification history