Commit 2023-08-18 06:06 fb232849

View on Github →

feat(Data/Rat/Defs): num_eq_zero_iff (#6638)

Estimated changes

added theorem Rat.num_eq_zero