search

mseri / BET

Project for "Machine-Checked Mathematics" at the Lorentz Center
Apache License 2.0
6 stars 5 forks source link

Add a new definition of inversion on EReal. #63

Closed D-Thomine closed 2 weeks ago

D-Thomine commented 2 weeks ago

Add a new file : BET/TopologicalEntropy/Miscellaneous/Inv.lean.