{"type":"video","version":"1.0","html":"<iframe src=\"https://www.loom.com/embed/b9abb42c7e6a41a4b87b001b94ad23b6\" 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/b9abb42c7e6a41a4b87b001b94ad23b6-97bf36e5e725ba93.gif","duration":244.156,"title":"Geometry - Formal Proof Theorem 11 - LCHL"}