Book a Demo!
CoCalc Logo Icon
StoreFeaturesDocsShareSupportNewsAboutPoliciesSign UpSign In
Download

Sage Reference Manual

727497 views
Tweet
Share
Share
1
.. nodoctest

2


3
.. _sage.structure.proof.proof:

4


5
Global proof preferences

6
========================

7


8
.. This file has been autogenerated.

9


10


11
.. automodule:: sage.structure.proof.proof

12
   :members:

13
   :undoc-members:

14
   :show-inheritance:

15
   

16


17


18