Theorem Set.IciExtend_apply

Modification history