Theorem isBoundedBilinearMap_apply

Modification history

2023-09-05 12:17

Mathlib/Analysis/NormedSpace/BoundedLinearMaps.lean

chore: rename isBoundedBilinearMapApply to isBoundedBilinearMap_apply (#6963)

Added isBoundedBilinearMap_apply View on Github →