如何解决如何解决我从嵌入式YouTube视频中仍然遇到的错误?
我正在尝试将youtube视频嵌入我的一个认证项目中,并确保在url中添加“嵌入”,但仍然出现错误
<iframe id="video" width="444" height="281" src="https://www.youtube.com/embed/gYvoD2RZK1A&t=164s&ab_channel=BLOCKHEAD">Video not available...</iframe>
欢迎您输入任何内容
解决方法
嵌入不起作用,因为第一个GET是源链接中的example : ∀ a : bool → bool,∀ b : bool,a (a (a b)) = a b :=
begin
intros a b,-- split reasoning into b as ff or tt
cases hb : b;
-- and for all cases,split reasoning of the (a ff) expression
cases hf : a ff;
-- and for all cases,split reasoning of the (a tt) expression
cases ht : a tt;
-- now deal with all cases using tactics
all_goals {
-- we can try rewriting either (a ff) or (a tt) which must occur
-- in the goal expression because of the original (a b) expression
-- and only one of those is present,so we use the
-- <|> syntax to try the second tactic (rw) if the first one fails
rw ht <|> rw hf,-- now,either we've formed a reflexive equality and we're done
-- or the equality we're left with is of the form (a tt = ff)
-- which we'll have as an assumption
-- if tactic we tried to use here was a plain "assumption",-- that would fail in the cases where we had already solved the goal
-- so we wrap it in a "try"
try { assumption } },end
而不是&
。 Read more about HTTP Method GET
以下是视频的嵌入代码,起始点为2:44。
?
如果您单击youtube视频下的“共享”按钮然后进行嵌入,则youtube会生成您所需的嵌入代码!
,只要带走多余的东西
<iframe id="video" width="444" height="281" src="https://www.youtube.com/embed/gYvoD2RZK1A"></iframe>
版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。