Theorem abs_cases

Modification history