6 commits

Author	SHA1	Message	Date
SinTan1729	c5f0eb2081	Add the whole proof back since I just noticed that I had replaced them by sorried statements	2023-06-16 11:37:19 -07:00
SinTan1729	efbeadc4ce	Completed polynomial_over_field_dim_one	2023-06-16 11:11:13 -07:00
SinTan1729	e735a5254f	Completed polynomial_over_field_dim_one	2023-06-16 10:42:02 -07:00
SinTan1729	d2836ad8f8	Almost completed polynomial_over_field_dim_one	2023-06-16 00:22:40 -07:00
SinTan1729	eb1e6118a0	Some changes to dim_eq_dim_poly_add_one	2023-06-15 19:36:02 -07:00
SinTan1729	01bce563a5	One side of poly_over_field	2023-06-15 19:33:24 -07:00