Theorem Algebra.SubmersivePresentation.linearIndependent_aeval_val_pderiv_relation

Modification history