mathlib3
391bd215 - doc(src/data/equiv/transfer_instances): nontrivial, not nonzero (#11508)

Commit
3 years ago
doc(src/data/equiv/transfer_instances): nontrivial, not nonzero (#11508) small docs typo, it seems.
Author
Parents
Loading