Def inductive_proof

Modification history

2025-08-20 02:52
MathlibTest/push_neg.lean
chore: deduplicate "transform at location" methods (#27562) …
Added inductive_proofView on Github →