chore: shorten proof of PatchingModule.continuous_ofPi#865

Merged

kbuzzard merged 1 commit intoImperialCollegeLondon:mainfrom

dwrensha:continuous_on_pi

Feb 26, 2026

Commits on Feb 24, 2026

chore: prove PatchingModule.continuous_ofPi via a direct application of LinearMap.continuous_on_pi
dwrensha
committed