{"type":"video","version":"1.0","html":"<iframe src=\"https://www.loom.com/embed/a94e0509049f4313b8054036104929b4\" frameborder=\"0\" width=\"1080\" height=\"810\" webkitallowfullscreen mozallowfullscreen allowfullscreen></iframe>","height":810,"width":1080,"provider_name":"Loom","provider_url":"https://www.loom.com","thumbnail_height":810,"thumbnail_width":1080,"thumbnail_url":"https://cdn.loom.com/sessions/thumbnails/a94e0509049f4313b8054036104929b4-72559b8b83167dbe.gif","duration":273.84,"title":"Geometry - Formal Proof Theorem 13 - LCHL"}