Commit 2021-02-02 07:14 fec8ee4e
View on Github →chore(topology/bases): rewrite 2 proofs using tactic mode (#5996) IMHO they're more readable that way
chore(topology/bases): rewrite 2 proofs using tactic mode (#5996) IMHO they're more readable that way