Leonardo de Moura a821dcbff2 chore: enforce naming convention for theorems ... see issue #402 fix: `ElabTerm.lean`		2021-08-07 12:48:38 -07:00
..
Basic.lean	chore: enforce naming convention for theorems	2021-08-07 12:48:38 -07:00