Activity
From 04 Jul 2021 to 02 Aug 2021
02 Aug 2021
-
16:13 0.75 hour (Bug #1605 (Closed): binomial: domain of defn?)
- New defn
-
11:59 0.20 hour (Bug #1605 (Closed): binomial: domain of defn?)
-
11:57 0.25 hour (Bug #1605 (Closed): binomial: domain of defn?)
- Other sources
30 Jul 2021
-
19:31 0.50 hour (Feature #1598 (Closed): RingHom: implement phi(X) as apply(phi, X) also for X vector and matrix)
- Prototype
-
17:30 0.50 hour (Feature #1598 (Closed): RingHom: implement phi(X) as apply(phi, X) also for X vector and matrix)
19 Jul 2021
Also available in: Atom