Theorem inv_cthickening

Modification history