Theorem Set.IicExtend_apply

Modification history