9.1.0.11

6 Calculus🔗

 #lang sicm/calculus package: rktsicm

    6.1 Manifolds

      6.1.1 (Fake) classes

      6.1.2 Functions

      6.1.3 Predefined elements

      6.1.4 Examples