Commit 2017-12-11 14:09 85a16677
View on Github →refactor(data/equiv): state refl, symm, and trans rules for equiv using projection. This gives more powerful rfl rules
refactor(data/equiv): state refl, symm, and trans rules for equiv using projection. This gives more powerful rfl rules