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

This should make them more searchable. Also some trivial spacing fixes.





leanprover-community/mathlib,leanprover-community/mathlib