Theorem Linarith.lt_irrefl

Modification history