Theorem Fin.forall_fin_one

Modification history