Sebastian Ullrich b0e6c83ea9 feat(library/tactic): add back notation for by assumption		2016-10-11 14:17:18 -07:00
..
lean	feat(library/tactic): add back notation for by assumption	2016-10-11 14:17:18 -07:00