Commit 2020-12-12 01:48 3782acf1
View on Github →feat(topology/algebra/*): Criterion to ensure topological monoids and groups (#5284) This is old stuff from the perfectoid project that was never PRed and is useful for the liquid tensor experiment.
feat(topology/algebra/*): Criterion to ensure topological monoids and groups (#5284) This is old stuff from the perfectoid project that was never PRed and is useful for the liquid tensor experiment.