Theorem Function.updateFinset_singleton

Modification history