Version 1.25.0

SKolodynski released this 27 Dec 19:17

· 295 commits to master since this release

dac42bf

Added a theorem that uniform spaces are regular, translated from Metamath, with dependencies, 29 new theorems total.

Assets 2