Completed
Pull Request — master (#20)
by Guido
03:35
created

No notable changes

There were no notable changes in the changeset which was inspected.

9.76
▶   ± 0
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