Theorem Equiv.cast_eq_iff_heq

Modification history