Theorem heq_of_cast_eq

Modification history