Replace aliases in Aliases_of_canonical_element.t with 3 fields#383
Open
lukemaurer wants to merge 1 commit intoflambda2.0-stablefrom
Open
Replace `aliases` in `Aliases_of_canonical_element.t` with 3 fields#383lukemaurer wants to merge 1 commit intoflambda2.0-stablefrom
lukemaurer wants to merge 1 commit intoflambda2.0-stablefrom
