mathlib
00a1022f - chore(logic/relation): rename to permit dot notation (#10105)

Commit

4 years ago

chore(logic/relation): rename to permit dot notation (#10105)

Author

eric-wieser

eric-wieser

Parents

Loading