Theorem Fin.last_sub

Modification history