Some basic tactics (a proof using EI, UI, and EG)

Описание к видео Some basic tactics (a proof using EI, UI, and EG)

A short proof that demonstrates some of the basic tactics using EI, UI, and EG, including using EI before UI when you want to use both.

Комментарии

Информация по комментариям в разработке