LEAN/comprehensions1.lean (htmlized)

Warning: this is an htmlized version!
The original is here, and
the conversion rules are here.

-- This file:
--   http://anggtwu.net/LEAN/comprehensions1.lean.html
--   http://anggtwu.net/LEAN/comprehensions1.lean
--          (find-angg "LEAN/comprehensions1.lean")
-- Author: Eduardo Ochs <eduardoochs@gmail.com>
--
-- (defun e () (interactive) (find-angg "LEAN/comprehensions1.lean"))
-- https://leanprover.zulipchat.com/#narrow/stream/113488-general/topic/.7Bx.20.E2.88.88.20s.20.7C.20p.20x.7D.20notation.20for.20finset


-- Local Variables:
-- coding:  utf-8-unix
-- End: