Sync from GitHub AHMADALIPARR/cpsc-qft@2603e23: axiom-free Operator.lean, axiom audit

5736180

verified

SNAPKITTYWEST commited on 2 days ago