Structure Mathlib.Tactic.MkIff.Shape

Modification history

2022-11-14 10:01
Mathlib/Tactic/MkIffOfInductiveProp.lean
refactor: docs and simplifications for mk_iff (#595) …
Added Mathlib.Tactic.MkIff.ShapeView on Github →