Theorem inv_le'

Modification history