Search results

[validator][warning] missing_proof_target in book-linear-algebra/linear-algebra/proofs/vector-spaces/prf-zero-scalar-times-vector.tex:4

lra-proof

lra-validator

severity:warning

validator:missing_proof_target

volume:vi

Status: Open.

#193 In wsollers/lra-volume-vi;

· github-actions opened on Jul 19, 2026

[validator][warning] missing_proof_target in book-linear-algebra/linear-algebra/proofs/vector-spaces/prf-unique-additive-inverse.tex:4

lra-proof

lra-validator

severity:warning

validator:missing_proof_target

volume:vi

Status: Open.

#192 In wsollers/lra-volume-vi;

· github-actions opened on Jul 19, 2026

[validator][warning] missing_proof_target in book-linear-algebra/linear-algebra/proofs/vector-spaces/prf-unique-additive-identity.tex:4

lra-proof

lra-validator

severity:warning

validator:missing_proof_target

volume:vi

Status: Open.

#191 In wsollers/lra-volume-vi;

· github-actions opened on Jul 19, 2026

[validator][warning] missing_proof_target in book-linear-algebra/linear-algebra/proofs/vector-spaces/prf-sum-of-subspaces-smallest-containing.tex:4

lra-proof

lra-validator

severity:warning

validator:missing_proof_target

volume:vi

Status: Open.

#190 In wsollers/lra-volume-vi;

· github-actions opened on Jul 19, 2026

[validator][warning] missing_proof_target in book-linear-algebra/linear-algebra/proofs/vector-spaces/prf-subspace-test.tex:4

lra-proof

lra-validator

severity:warning

validator:missing_proof_target

volume:vi

Status: Open.

#189 In wsollers/lra-volume-vi;

· github-actions opened on Jul 19, 2026

[validator][warning] missing_proof_target in book-linear-algebra/linear-algebra/proofs/vector-spaces/prf-scalar-times-zero-vector.tex:4

lra-proof

lra-validator

severity:warning

validator:missing_proof_target

volume:vi

Status: Open.

#188 In wsollers/lra-volume-vi;

· github-actions opened on Jul 19, 2026

[validator][warning] missing_proof_target in book-linear-algebra/linear-algebra/proofs/vector-spaces/prf-minus-one-times-vector.tex:4

lra-proof

lra-validator

severity:warning

validator:missing_proof_target

volume:vi

Status: Open.

#187 In wsollers/lra-volume-vi;

· github-actions opened on Jul 19, 2026

[validator][warning] missing_proof_target in book-linear-algebra/linear-algebra/proofs/vector-spaces/prf-direct-sum-test.tex:4

lra-proof

lra-validator

severity:warning

validator:missing_proof_target

volume:vi

Status: Open.

#186 In wsollers/lra-volume-vi;

· github-actions opened on Jul 19, 2026

[validator][warning] missing_proof_target in book-linear-algebra/linear-algebra/proofs/vector-spaces/prf-direct-sum-of-two-subspaces.tex:4

lra-proof

lra-validator

severity:warning

validator:missing_proof_target

volume:vi

Status: Open.

#185 In wsollers/lra-volume-vi;

· github-actions opened on Jul 19, 2026

[validator][warning] missing_proof_target in book-linear-algebra/linear-algebra/proofs/vector-spaces/prf-addition-commutative-in-fn.tex:4

lra-proof

lra-validator

severity:warning

validator:missing_proof_target

volume:vi

Status: Open.

#184 In wsollers/lra-volume-vi;

· github-actions opened on Jul 19, 2026

[validator][warning] missing_dependency_target in book-linear-algebra/linear-algebra/notes/vector-spaces/notes-vector-subspaces.tex:461

lra-validator

severity:warning

validator:missing_dependency_target

volume:vi

Status: Open.

#183 In wsollers/lra-volume-vi;

· github-actions opened on Jul 19, 2026

[validator][warning] missing_dependency_target in book-linear-algebra/linear-algebra/notes/vector-spaces/notes-vector-subspaces.tex:461

lra-validator

severity:warning

validator:missing_dependency_target

volume:vi

Status: Open.

#182 In wsollers/lra-volume-vi;

· github-actions opened on Jul 19, 2026