Theorem Rat.castHom_rat

Modification history

2023-09-08 15:47
Mathlib/Data/Rat/Cast/Order.lean
chore: tidy various files (#7035)
Added Rat.castHom_ratView on Github →