move types to variables lines - SemanticDiff

Commit

3 years ago

move types to variables lines

References

AD_lp_functorial

#15754 - feat(analysis/normed_space/lp_space): "functoriality" of `lp`

Author

eric-wieser

eric-wieser

Parents

Loading