ZiZhu一般連続弱非存在セクション定理 | Synapse