Тактика кейсов в бережливом производстве не создает гипотез
#proof #lean Вопрос: При использовании cases тактики-для индуктивного типа данных lean создает несколько случаев, но не создает гипотезу, подтверждающую предположение о текущем случае. Например: inductive color | blue | red…