IsarMathLib icon indicating copy to clipboard operation
IsarMathLib copied to clipboard

Published 20 hours ago • verified publisher icon SKolodynski

Rewrite topological group proofs

Open dan323 opened this issue 4 years ago • 9 comments

Since topgroup => group0 now and there is a locale for group operations on sets, we should make use of it to avoid proving things more than once.

dan323 avatar Dec 22 '20 10:12 dan323