Theorem Fin.finsetImage_succ_uIcc

Modification history