Theorem mem_set_of
Modification history
2017-07-23 18:59
tests/examples.lean
refactor(*): attributes on same line
Modified mem_set_ofView on Github →2017-07-23 18:29
tests/examples.lean
refactor(*): use 'lemma' iff statement is private
Modified mem_set_ofView on Github →