There were no notable changes in the changeset which was inspected.
Head |
Guido Contreras Woda
Merge 565c7c12a54533d7c3b690f9f9544745f6273f7c into 012a8ecafd2e8bf73f9066ccfb11a1f2f417b357
|
---|---|
⋮ | 1 more commit |
Base |
Patrick Brouwers
Merge pull request #19 from guiwoda/has_one_implies_inverse_one_to_one
|