mathlib
543c122f - Refactored equality of alphabets to equivalence of alphabets

Commit

5 years ago

Refactored equality of alphabets to equivalence of alphabets

Author

pimsp

pimsp

Parents

Loading