Theorem Fin.cast_eq_cast'

Modification history