Version 1.29.0

SKolodynski released this 24 Mar 15:22

· 181 commits to master since this release

09efbc8

New theory files on modules and vector spaces
Ring_ZF_2 and Ring_ZF_3 edited for isarmathlib.org

Assets 2

0 Join discussion