Theorem cinfₛ_inv

Modification history