Def C

Modification history

2023-09-20 04:57

test/cancel_denoms.lean

chore(test/*): add `test_sorry` axiom in tests to make them less noisy (#6868) …

Modified C View on Github →

2023-06-05 09:43

test/cancel_denoms.lean

feat: allow cancel_denoms to handle equalities and inequalities over fields (#4176) …

Added C View on Github →