Anna Maria Bigatti's activity
From 30 Jun 2019 to 29 Jul 2019
29 Jul 2019
-
18:20 CoCoALib Feature #1299: New fn ConstantTerm?
- I think it could be useful.
But I wouldn't call it @ConstantTerm@, because term in CoCoA usually (always?) is equiva...
Also available in: Atom