basic): explicitly state functions equivalences are based on (#15354)

Commit

3 years ago

doc(logic/equiv/basic): explicitly state functions equivalences are based on (#15354) This should make them more searchable. Also some trivial spacing fixes.

Author

vihdzp

Parents

466b8922

mathlib 635b8585 - doc(logic/equiv/basic): explicitly state functions equivalences are based on (#15354)

mathlib
635b8585 - doc(logic/equiv/basic): explicitly state functions equivalences are based on (#15354)