Code

Trying to generalize mfun, updated#1256

Code

Merged

affeldt-aist merged 7 commits intomath-comp:mastermath-comp/analysis:masterfrom hoheinzollern:mfunhoheinzollern/analysis:mfunCopy head branch name to clipboardOct 30, 2024

+259-68

Commits

Commits on Oct 30, 2024

• gen isMeasurableFun

  affeldt-aist

  committed
  3868fce

• gen section mfun

  affeldt-aist

  committed
  5fbbfcd

• get rid of problematic cst instance

  affeldt-aist

  committed
  f18d894

• upd doc

  affeldt-aist

  committed
  b8a908b

• generalization of cst_mfun to a codomain of measurableType

  affeldt-aist

  committed
  72b4a9e

• complete the fix

  Show description for ac6a5e6
  affeldt-aist

  committed
  ac6a5e6

• typo

  affeldt-aist

  committed
  1c5523e