Theorem ContDiff.inv

Modification history