In order to prove the generalization bounds for the budget kernel perceptron, I needed a more general version of the AxVec_card axiom. Using this axiom, I was able to prove AxVec_card. I made no other changes to AxVec_card. Please pull these changes to make sure this did not break any proofs elsewhere. Thank you!
In order to prove the generalization bounds for the budget kernel perceptron, I needed a more general version of the AxVec_card axiom. Using this axiom, I was able to prove AxVec_card. I made no other changes to AxVec_card. Please pull these changes to make sure this did not break any proofs elsewhere. Thank you!