Mathlib v3 is deprecated. Go to Mathlib v4

Theorem structure_groupoid.local_invariant_prop.congr_iff

Modification history

2022-07-06 11:16

src/geometry/manifold/local_invariant_properties.lean

feat(geometry/manifold/local_invariant_properties): simplify definitions and proofs (#15116) …

Added structure_groupoid.local_invariant_prop.congr_iff View on Github →