mathlib3
af76f7f9 - added an instance to close a sorry by apply_instance

Commit

6 years ago

added an instance to close a sorry by apply_instance

Author

jalex-stark

jalex-stark

Parents

Loading