refactor(OperatorAlgebra): Implement states in more Mathlib-aligned style (RFC) - #1602

refactor(OperatorAlgebra): Implement states in more Mathlib-aligned style (RFC)#1602

goliath-klein wants to merge 7 commits into

leanprover-community:masterleanprover-community/physlib:masterfrom

goliath-klein:states-rfcgoliath-klein/physlib:states-rfcCopy head branch name to clipboard