mathlib3
46c48d7f - feat(logic/basic): add projection notation for iff (#11803)

Commit

3 years ago

feat(logic/basic): add projection notation for iff (#11803)

Author

fpvandoorn

fpvandoorn

Parents

Loading