5 commits

Author	SHA1	Message	Date
monula95 dutta	e85ea6b119	rearranged defs	2023-06-16 22:00:43 +00:00
monula95 dutta	96d1b2d83c	almost finished base case	2023-06-16 21:38:52 +00:00
monula95 dutta	53c4675cb8	started the proof for the base case	2023-06-15 23:07:55 +00:00
chelseaandmadrid	5a86902118	changed	2023-06-14 22:10:22 -07:00
monula95 dutta	1f7a809e2c	unified monalisa.lean and HilbertFunction.lean	2023-06-15 05:02:47 +00:00