Def RingHom.testProperty3

Modification history

2024-10-04 10:12
test/algebraize.lean
feat(Tactic/Algebraize): add algebraize tactic (#16217) …
Added RingHom.testProperty3View on Github →