Theorem Function.updateFinset_updateFinset

Modification history