analysis icon indicating copy to clipboard operation
analysis copied to clipboard
verified publisher icon math-comp

undocumented notation

Open affeldt-aist opened this issue 1 month ago • 0 comments

https://github.com/math-comp/analysis/blob/72c8678f8def77da4c1c2682f857cfb8cf770352/theories/normedtype_theory/normed_module.v#L1799

@IshiguroYoshihiro @holgerthies

affeldt-aist avatar Nov 14 '25 06:11 affeldt-aist