#discrete math LEAN

3 messages · Page 1 of 1 (latest)

magic vortex
#

i don't know what i am doing wrong got too many questions if anyone knows lean and some syntax please help me

tender cryptBOT
magic vortex
#

.solved