Theorem inseparable_eq_eq

Modification history