auto-task(HarmonicOscillator): add API-map.yaml tracking the Harmonic oscillator API#1340

ShlokVaibhav wants to merge 1 commit into

leanprover-community:masterleanprover-community/physlib:masterfrom

ShlokVaibhav:auto-apimap-classicalmechanics-harmonicoscillator-20260701-060604ShlokVaibhav/physlib:auto-apimap-classicalmechanics-harmonicoscillator-20260701-060604Copy head branch name to clipboard