Copyright notice update for cardan_ferrari.v

coq-community / coq-100-theorems

Statements of famous theorems proven in Coq [maintainer=@jmadiot]

https://madiot.fr/coq100/

Other

55 stars 14 forks source link

Closed fredericchardard closed 4 years ago

fredericchardard commented 4 years ago

As suggested, I have updated the copyright. I have also made a few simplifications.