BrighterTube

Индуктивные типы, классы, группы / Введение в Lean RU L04 | 25s | girafe-ai

girafe-ai4.13K subscribers

About this video

Intro · Editorial review · 85% confidence

Round-12 hunt: picked; channel-level screens (sellers/exam/re-upload/devotional/vendor/events), provenance check, vendor/seller/devotional recheck and quality ranking (tier C) passed; strict per-title check + final strict pass; oEmbed verified.

A 87-minute video from girafe-ai: “Индуктивные типы, классы, группы / Введение в Lean RU L04 | 25s | girafe-ai”.

Science & Math

Video by girafe-ai, played through YouTube's embedded player.