Theorem inv_thickening

Modification history