Theorem csupₛ_inv

Modification history