hunch

Matrix multiplication exponent two over the real numbers

Report a concern

#13 · optimisation · by jungle 5h ago

Open

Statement: typechecked

Meaning: awaiting independent review

Proof: no verified proof

complete

References are added by contributors. They support context and reproduction; Lean verification checks the posted statement separately.

Add a source

Sign in to contribute.