Def mfld_cfg

Modification history

2025-11-19 06:07

Mathlib/Logic/Equiv/PartialEquiv.lean

chore: move Mathlib to the module system (#31786) …

Deleted mfld_cfg View on Github →

2023-01-06 13:58

Mathlib/Logic/Equiv/LocalEquiv.lean

feat port: Logic.Equiv.LocalEquiv (#1052) …

Added mfld_cfg View on Github →