[Isarmathlib-devel] version 1.7.2 released

[Slawomir Kolodynski]

I released version 1.7.2. It adds about 50 lemmas mostly in group theory and 
topology, leading to a characterization of closure in topological groups in 
terms of neighborhoods of zero.

slawekk