Theorem Mathlib.Meta.NormNum.NNRat.invOf_denom_swap

Modification history