view wisdom/obvious @ 12271:6389adbc4a0d draft

<kspalaiologos> fetch /hackenv/asmbf-1.2.6.zip https://github.com/KrzysztofSzewczyk/asmbf/archive/master.zip
author HackEso <hackeso@esolangs.org>
date Tue, 31 Dec 2019 15:59:04 +0000
parents 8c560351620c
children
line wrap: on
line source

Obvious, adj.: A postulate used to prove a wide variety of theorems too arduous to prove by other means. In American Sign Language, it is denoted by a vigorous waving of the hands.