Theorem Fin.sub_def

Modification history