Theorem inv_lt'

Modification history