mathlib3

fd5f4333 - fix(algebraic_topology): added FQNs to simplicial locale (#6838)

fix(algebraic_topology): added FQNs to simplicial locale (#6838) This fix, which fully qualifies some notation, makes it so that ``` import algebraic_topology.simplicial_set open_locale simplicial ``` works without errors.