Jack-Pumpkinhead

## cat.lean

import data.set.basic
import data.equiv.basic
import tactic.rcases
import tactic.interactive
import tactic.tidy

/-!
    This is land of oz.
    Living Scarecrow in munchkin at 2020-03-15 12:51:14

	import data.set.basic
	import data.equiv.basic
	import tactic.rcases
	import tactic.interactive
	import tactic.tidy

	/-!
	This is land of oz.
	Living Scarecrow in munchkin at 2020-03-15 12:51:14