Theorem Function.updateFinset_empty

Modification history