epa095/noetherian-implies-streamless
We provide two Coq proofs that noetherian implies streamless, one proof uses equality, the other is expressible withouth equality.
Coq
No issues in this repository yet.
We provide two Coq proofs that noetherian implies streamless, one proof uses equality, the other is expressible withouth equality.
Coq
No issues in this repository yet.