Theorem collapse_eq

Modification history