Theorem rat.sqrt_eq
Modification history
2021-10-01 13:24
src/data/rat/sqrt.lean
refactor(*): replace `abs` with vertical bar notation (#8891) …
Modified rat.sqrt_eqView on Github →2020-07-17 13:47
src/data/rat/order.lean
chore(*): more import reduction (#3421) …
Modified rat.sqrt_eqView on Github →