Closed Smaug123 closed 4 years ago
A number of new definitions and lemmas, all on the way towards proving that PIDs have unique factorisation.
A number of new definitions and lemmas, all on the way towards proving that PIDs have unique factorisation.