Theorem Fin.reverse_induction_castSuccEmb

Modification history